Writing tests for the language