added printf for labels of basic blocks