[__sgi__]: Use `fp' instead of `$fp'.