Test file for testing <stdio.h>
