A translator for UDI drivers (taking an asynch-aware C variant and converting to C89)