Export: construct basic block