implementation module
	IndexType

:: Index :== Int

:: CheatCompiler = CheatCompiler