smaller buffer for printf