Abc, Retargetable=