// The result type differs from program.cps.
INCLUDE_OBJ "__libc"
EXTERN "C" EXTERN_FUNCTION abs(C_INT) RETURNS C_DOUBLE