Make basic block reading work