In case someone doesn't know how to do printf