add simcall annotation