1+ 
1? prefix
2 FUNCTION name
3? * (1)  len (2) 
3 (
4? dummy_argument_list
5 )
6+ 
6? 
6 RESULT ( result_name )
6 BIND ( C
6.1? , NAME  =  binding_label
6.2 )