printf use stack buffer