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


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

4.1: wrong argument type for arg 2