CamlPaml: minor bounds-checking optimization