Return (and test for) Buf instead of an array of (hopefully) Int.