Pluralizes return_addr verification