const siginfo_t = system.siginfo_t;