more hackery, added printf