#executable-specification