structure Index =
  Index (structure Global = Global
	 structure Queue = Queue
	 structure IntSyn' = IntSyn);