added debug statements to file TestbedMain