Spec for pocl