Symbol: r535_gsp_dtor