printf tests