Updated spec for unreachable
Updated OCFuntime