// -*- go -*- // package main // @Test 32 0 = 16 func main(a, b uint64) uint64 { return a >> 1 }