1
2float fabsf(float);
3
4int main(void* con, int ft, int launchID)
5{
6   float f =  fabsf(-10.0f);
7   return f;
8}
9
10