./typeswitch7.go
