#import
<stdio.h>
int
main
(
void
)
{
printf
(
"Hello world!
\n
"
);
return
0
;
}