add one more inst type: Invoke