Constant write_str

pub const write_str: Symbol;