refined printf