Resetting to earlier repo + adding wtc.h