updates for BasicBlock runtime library