Demo file for TypeScript