basic block activation