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