optional-import-statements
optional-extra-runtime-functions
list-of-functions-in-optional-code
dashrep-time-limit
dashrep-endless-loop-counter-limit
source-code-copyright-notice

optional-import-statements
optional-extra-runtime-functions
list-of-functions-in-optional-code
dashrep-time-limit
dashrep-endless-loop-counter-limit

Remove phrase "source-code-copyright-notice" because causes major bug
Remove phrase "source-code-copyright-notice" because causes major bug
