struct
(* ``include Pervasives;;'' is not needed in this case, of course *)
include
Extra
;;
end