Updated driver code with assert