annotate accountbad main with inv.