int main(int argc, char **argv);

extern "C" [[noreturn]] void _entry() {
  //TODO: get command line via system call and populate argc and argv.
  int argc = 0;
  char **argv = 0;

  int result = main(argc, argv);

  //TODO: exit via system call and return result.
  (void)result;
  while (1)
    ;
}