Operation not permitted.

Back to package page "base_extension: Eiffel Base Extension".