spec: syscall_define/2,3