// slice types can be declared
(assert (== (str ([] int64)) `([]int64)`))