int getBos1(void) {
  return __builtin_object_size(p, 0);
}