#include "c.h"
extern Interface armIR, mipselIR;
extern Interface symbolicIR, symbolic64IR;
extern Interface nullIR;
Binding bindings[] = {
  "arm/riscos",	&armIR,
  "symbolic64",	&symbolic64IR,
  "symbolic",	&symbolicIR,
  "null",	&nullIR,
  NULL,		NULL
};
