uid_t getuid(void)
{
    return __VERIFIER_nondet_uint();
}

uid_t geteuid(void)
{
  return __VERIFIER_nondet_uint();
}

gid_t getgid(void)
{
  return __VERIFIER_nondet_uint();
}

gid_t getegid(void)
{
  return __VERIFIER_nondet_uint();
}