Added in the driver code to actually make it work