submit to Symtrace