Regenerated the CIL torture tests using the headers from the C semantics libc.