declare-9.c:2: parameter 3 not specified for `size' bounded function