#include <unistd.h>

int
main(void)
{
       static const char msg[] = "main executed\n";
       write(STDOUT_FILENO, msg, sizeof(msg) - 1);
       return 0;
}