driver and printf() added