#include <stdio.h>

void Const1() {
    const int foo = 9;
    printf("%d\n", foo);
}