print_BF_checkpoint