osc: how to fix STL pretty-printers