pub const ATOM_SUBSCRIPT_Y: Atom;