### Abstract Tree ######################
int f(int i, int j, int k, int l) return true;
f(1, 2, 3, 4);
### Analyzer messages ##################
### Interpretation output ##############


########################################
### INTERPRETATION ERROR ###############
########################################

4.1: wrong type for return in f