start              15 kernel/start.c start()
start              12 user/ulib.c    start(int argc, char **argv)