SPECIFICATION:BASH.SPC
KEYWORDS:BASH.KEY
