foo1(): int {
   k: int;
   k = 3;        
   k = 9
}


main(): void {
   k: int;
   k = 3