#define __ceil __ceil_generic
#include <sysdeps/ieee754/dbl-64/s_ceil.c>