Codegen Int32#+
Make bootstrap spec return 1 if there are failures