could you give an example of (1)?

Only because i have run into weirdness with printf calling malloc, back in the day. Even hello world makes me a little nervous about those claims.

But I'd love to see a sample with explicit assertions about the environment, so I could be sure there are obviously no errors.