The b-System executable format.