Right now there is only one PRINTF macro