K-DOWN J K-END
K-DOWN K-DOWN

[] no special info, see general notes

EXTENSIONS term ordinary constant