fixed basic block mapping