#include <stdint.h>
#include <stdio.h>

int main() {
  uint8_t x1 = 0;
  uint16_t x2 = 0;

  printf("patatino\n");

  x1 += 1;
  x2 += 2;
  return 0;
}