test5_b.go: no serious difference between int64 and auto typed