(* this file depends on d.v and e.v and therefore 
 * indirectly also on a.v, b.v and c.v
 *)

Require Import d e.

Definition a := 5.