linearscan: hints at to_phi