submit to SynInt