-- :abandon in the top level should be a no-op :abandon