sys::redox::geteuid and sys::redox::getuid should cast the result of sys::redox::cvt, not the syscall.
sys::redox::geteuid
sys::redox::getuid
sys::redox::cvt