#lang brag
start: "a" "\"" "'" 'a' '"' '\''