-- TODO: generate this file from TypeScript