pub const HAVE_SYSCALL: u32 = 1;