Revert it to use printf