Use (uint8_t *) for buf_(set|get)_u(32|64) instead of (void *)