[coredog64]

That’s how it works when writing CDK outside of TypeScript. You have to review the TS docs to get anywhere.