{filelink=13271}
#include
#include
#include
int main(void)
{
printf("%d", fmin (-12,12));
printf("%l", fminl (-12,12));
printf("%f", fminf (-12,12));
}
{filelink=13271}
#include
#include
#include
int main(void)
{
printf("%d", fmin (-12,12));
printf("%l", fminl (-12,12));
printf("%f", fminf (-12,12));
}