Driver builds now
Core passes Boyd's tests but driver crashes with my t3 input file