Do we really use the FIPS version of random number generator

$ sysctl crypto.fips_enabled
crypto.fips_enabled = 1

To use the FIPS random number generator, simply use RAND_bytes as described earlier. Note that the call to FIPS_mode_set must succeed in order to operate in FIPS 140 mode.

#include 
#include 
#include 
int main()
{
    unsigned char buffer[4];
    int rc;

    rc = FIPS_mode_set(1);
    printf("FIPS_mode_set rc=%d\n", rc);
    rc = RAND_bytes(buffer, sizeof(buffer));
    printf("RAND_bytes rc=%d random number=%08X\n", rc, *(int *)buffer);
    rc = FIPS_rand_bytes(buffer, sizeof(buffer));
    printf("FIPS_rand_bytes rc=%d random number=%08X\n", rc, *(int *)buffer);
    return 0;
}