此文件为 /cmds/arch/dest.c 指令的授权文件。
