The code of Spec for Pharo