// { dg-additional-options "-fmodules-ts -fno-module-lazy -fdump-lang-module-alias" }

import "lambda-2_a.H";