---
chars := chars char
  chars := 
  char := "CHAR"
    CHAR "a" (1, 1)