(* Pasted from Pottier's PP compiler *)

include Atom