const empty_sigset = system.empty_sigset;