sdcc now understands both formats: