silly int32 int64 bug in read_nextbus