adding support for assembly, work on verif