simplified and cleanup
rework symbex and everything