sysdecode_msgctl_cmd
const char *sysdecode_msgctl_cmd(int _cmd);
print_integer_arg(sysdecode_msgctl_cmd, *ip);