12.4.7 机器人可执行文件格式