import Spec (main)