#include <stdio.h>
#include <stdlib.h>
 
int main(void)
{
    int a;
    a = 232;
    printf("Hallo Welt!%i\n",a);
    return EXIT_SUCCESS;
} /* end main() */