> > Wouldn't that better fit to sanei_backend.h? I think we shouldn't > export such "helper" macros to all the frontends. Yes, of course. I'll fix that right away.