source code for Texas Persistent Store
