__start() and main() declared with noreturn attribute