Removed the 'safe' flag from RunVm & co.