excample klee,not important
classes & struct about GlobalVariable
examples not improtant
update