basic block tracking
print file offset when flushing