let fp_base env (p,r) = fp_addr env p , fp_range env r