runtime: added printf like function