added a simple printf statement