Issues with checkpointed BPFK sections