a hlightweight symbolicatecras for ios