/* syscall: "setreuid16" ret: "int" args: "linux32_uid16_t" "linux32_uid16_t" */