add mutator prototype def in idstest.py