#include <soft-fp/fmadf4.c>