用 Direct 方式重写 reach

待写，见 OUTLINE 6.4.4。