Is there currently a specification for a pbc "object file" for linking and dynamic loading?
By "object file" I guess mean a file that contains compiled instructions plus a section with a table that maps subroutine/constant labels to their corresponding byte offsets within the file. If no, it might be useful.
