print_file config/header.coco