Implement tsplit and trelease.