int system.seteuid(int euid)
Set the effective user ID to euid.
Extracted from Pike v7.3 release 11 at 2001-11-03.