size_t getSizeOf(void) {
  char data[42];
  return sizeof(data);
}