(* TEST: [-tok -asc -tc] *)
#include "alpha.h";
#include "alpha.h";
#include "alpha.h";