objects-printer.cc revision 4ef23eea527ce7f45bdc5edd52bd4d1a989e2359 
14ee2ad04344446e610172a0e73949212923014dfSebastian Redl