implement "make spec E=string"