* string formatter: printf + concat