#include <math.h>
#include <upc_relaxed.h>

int main(void)
{
    long double a = fabsl(12.345);
    return 0;
}