Include2
module X: { ... };
Comment about X that should not appear when including X below.
include X;
type t
= int