Consider fully compliant UUID4 generator

[JujuAdams]

    //As per https://www.cryptosys.net/pki/uuid-rfc4122.html
    //FIXME - Do this without random()/choose() calls
    var _UUID = md5_string_utf8(string(current_time) + string(date_current_datetime()) + string(random(0xFFFFFF)));
    _UUID = string_upper(_UUID)
    _UUID = string_set_byte_at(_UUID, 13, 0x34);
    _UUID = string_set_byte_at(_UUID, 17, choose(0x38, 0x39, 0x41, 0x42));
    _UUID = string_insert("-", _UUID, 21)
    _UUID = string_insert("-", _UUID, 17)
    _UUID = string_insert("-", _UUID, 13)
    _UUID = string_insert("-", _UUID, 9)
    return _UUID;
}