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