extern void printInt( int val);
extern void printFloat( float val);

extern int scanInt( );
extern float scanFloat( );

extern void printSpaces( int num);
extern void printNewlines( int num);

export int main(){
	int a = 5;
	float b = 6.0;
	int c = a + ((int)(b))* a;
	printInt(c);
	printNewlines(1);
	// it should print 35
	return 0;
}