#include int main(int argc, char **argv); extern "C" [[noreturn]] void _entry() { //TODO: static constructors //TODO: get command line via system call and populate argc and argv. int argc = 0; char **argv = 0; int result = main(argc, argv); //TODO: static destructors _syscall_end_this_process(result); }