SEOS_load: SEOS_syscall WASN'T loaded