Aborting: invalid call code: bermuda