construct the natives directly. we can register different natives if
needed for the symbolic execution