* This is the contents of the file ``post.spc''