int a = 1;

int read_a() {return a;}