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