Replacing odump with Magik