printf output buffer is too small - #573

[ucbjrl]

Terminate formatted strings and verify we haven't overflowed allocated storage. Add Flo printf output test.