Actual source code: davidson.h