structure Paths = Paths ();

structure Origins =
  Origins (structure Global = Global
	   structure IntSyn' = IntSyn
	   structure Paths' = Paths);