Magik Development Tools Top: Environment Provided By