Started fixing print.h