__libc_main 66 uspace/lib/c/generic/crt/crt1.c __libc_main(pcb); __libc_main 63 uspace/lib/c/generic/private/libc.h extern void __libc_main(void *) __attribute__((noreturn));