mode_t umask(mode_t mask)
{
  return __VERIFIER_nondet_uint();
}