simple printf with some underhanded c