uncommented driver code