//Testing assembly declaration
extern int x asm( "xx" );

int fred( int x ) {
    static int y asm( "yy" );

// Cforall extensions

    static * int z asm( "zz" );
}

//Dummy main
int main(int argc, char const *argv[])
{
	return 0;
}