Update printf.as