Spec for OCFuntime