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

void print_var(uint8_t x) {
    printf("%d", x);
}

void fn12_rs();

int main() {
    fn12_rs();
}