unidecompiler_symbolic
