1
No_Parameter: check unsafe_paired_calls (t_unsafe_paired_calls{}.p{}, t_unsafe_paired_calls{}.v{});
2
In_Parameter: check unsafe_paired_calls (t_unsafe_paired_calls{}.p{standard.character; standard.integer},
3
t_unsafe_paired_calls{}.v{standard.character; standard.integer},
5
In_Parameter: check unsafe_paired_calls (t_unsafe_paired_calls{}.p{t_unsafe_paired_calls{}.Acc},
6
t_unsafe_paired_calls{}.v{t_unsafe_paired_calls{}.Acc},
7
t_unsafe_paired_calls{}.Acc);
8
InOut_Parameter: check unsafe_paired_calls (t_unsafe_paired_calls{}.p{t_unsafe_paired_calls{}.sema},
9
t_unsafe_paired_calls{}.v{t_unsafe_paired_calls{}.sema},
10
t_unsafe_paired_calls{}.sema);
b'\\ No newline at end of file'