../../src/array_double.h