NACL: hacks to get it to compile
NACL: start of a nacl_main, currently based on hello_world