It's not uncommon for people to call for their beheading with a guillotine aswell. Some are jokin, some are not. I think it's safe to assume they would take their opposition literally in a equivalent situation instead of giving them the benefit of the doubt.