public void print(int l)
        {
            print(l, "VariableName");
            m_identifier.print(l + 1);
            if (m_decorations != null)
                {
                m_decorations.print(l + 1);
                }
        }