Constant write_box_via_move 

pub const write_box_via_move: Symbol;