rewirte pseudo spec to ./spec_pseudo.txt