#include <foo.h>

#pragma TASS output 
int i;
#pragma TASS output 
int1 j;
#pragma TASS output 
int2 k;
#pragma TASS output 
int3 n;
#pragma TASS output 
double x;

void main() {
	i = 3;
	j = 3;
	k = 101;
	x = 4.0;
	n = 12;
}