BP_SYM __libc_start_main (int (*main) (int, char**, char**), int argc, char *__unbounded *__unbounded ubp_av, void (*init) (void), void (*fini) (void), void (*rtld_fini) (void), void (*__unbounded stack_end);
Initialize glibc.
__libc_start_main is not in the source standard; it is only in the binary standard.