Constant div_assign 

pub const div_assign: Symbol;