A toy language