Summary of changes: be68d92... Fix return type for generated indication functions (*) bf65f93... Support varlist in KReturn2 (*) (*) This commit already existed in another branch; no separate mail sent