The type of the cache argument seems to be fixed to Val in https://github.com/ocaml/ocaml/blob/trunk/asmcomp/cmm_helpers.ml#L1868, however the argument is computed as an address in the helper function generating calls to it at https://github.com/ocaml/ocaml/blob/trunk/asmcomp/cmm_helpers.ml#L787 . Shouldn't the type of the cache then be type_addr instead of type_val?