void some_function(char c, int a __attribute__((unused))) {
  __attribute__((unused)) float f;
  putchar(c);
}