Use INTERNAL_SYSCALL.