let
get a i = check_bound a i; a.data.(i)