comments and `noreturn` stuff added to main.c