(* testing lexical errors *)

main(): void {
   k: int;
   k = 3 @   (* line 6: unknown character `@' *)
}

foo(): int {
   k: int;
   
   k = 9 9   (* line 12: missing operand *)
}