This file contains circuits for testing tkgate.
