Getting wrecked by monomorphism restriction for printf