strict digraph rand {
    begin [label=start, color="#deeaee", style="filled"];
    newed [fontcolor="#c94c4c", style="solid"];
    instantiated [fontcolor="#c94c4c"];
    uninstantiated [fontcolor="#c94c4c"];
    end [label="freed", color="#deeaee", style="filled"];

    begin -> newed [label="EVP_RAND_CTX_new"];
    newed -> instantiated [label="EVP_RAND_instantiate"];
    instantiated -> instantiated [label="EVP_RAND_generate"];
    instantiated -> uninstantiated [label="EVP_RAND_uninstantiate"];
    uninstantiated -> end [label="EVP_RAND_CTX_free"];
    uninstantiated -> instantiated [label="EVP_RAND_instantiate", style=dashed, color="#034f84", fontcolor="#034f84"];
}
 
