(* this file depends on nothing *)

Definition a := 1.