Common sense states what a "proper atom" is. If someone claimed "a string formatting tool in 2 lines of C++" and it was just fprintf, that's clearly the standa

Common sense states what a "proper atom" is. If someone claimed "a string formatting tool in 2 lines of C++" and it was just fprintf, that's clearly the standard library doing the work, not the promoted file. In this case the standard library is not doing any global illumination or anything related. It's just doing IO.