Comment by eecc

it's the same "trusted compiler" argument, only at a different level. Though at least here you could -- if you wanted -- check the generated source.