Emitting block labels for all blocks for Patmos