def cfg, refl skip 0