[simcop2387]

Basically, yes. I don't know if they avoided GNU GCC C language extensions but I'd be surprised if they did use any in any significant manner.