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

import "lambda-3_a.H";