/* ECP: FILEname=fig2_2.c */
#include<stdio.h>
main(void){printf("Testing 123\n");}