pbcout.c - Back-end for emitting PBC.
XXX Not implemented XXX
IIUC, the PBC format is not yet fixed.
If compilers/bcg works, connect the vtable methods to those api calls.