int main() {
  return sizeof(42);
}