import "cycle_import2.did";
type A = nat;