Kak use C format strings