Fixed verify_address in syscall.c