high-level abs int logic completely decoupled from Core_Opt