pub const ARGDEMOTION_NAME: &str = "argdemotion";