Added while(1) to ensure GCC valids NORETURN; fixed indentation