import Spec on top level