added <cassert> to driver