#include <stdlib.h>
#include <stdio.h>
#include <stdint.h>
#include <stdbool.h>
#include <errno.h>
#include <unistd.h>
#include <string.h>

int main( int argc, char *const *args ){
	fputs( "This is simple output from extracted test program\n", stdout );
	return 0;
}