checkpointing first fledgling working version of gen-tck.go