use specific int types to avoid cgo errors when compiling on tip