sig
  val check_header : string -> Images.header
  val load : string -> Images.load_option list -> Images.t
end