let fp_range env = function | Block -> Block | Index x -> Index (fp_offset env x) | Range(x,n) -> Range (fp_offset env x,fp_size env n)