Where do the TERMINAL definitions go?