The TypeScript version of the Mario5 demo application.