On branch master
 Changes to be committed:
	modified:   platform.c
    Added some printf statements for debugging purposes.