// Test declaration of intrinsic without body

// Declaration of printf-function
void printf(char* format, ...);

// Intrinsic definition of printf-function
__intrinsic void printf(char* format, ...);

// Definition of main()
void main() {
}






