Spec2Function
