#include <stdio.h>
#include "lib.h"

int main() {
  int x = 1;
  int y = 2;
  something(&x, &y);
  printf("x = %d, y = %d\n", x, y);
  return 0;
}