Extract a source file of SimpleState