Using seq/thunks; debugging