{
  "reference": "EterBase/Random.cpp",
  "reference_sha256": "09432c7b72f58868c3c4927b1afec835c33801bdf8086446277d8e9884e6ab79",
  "priority": "P4",
  "contracts": [],
  "functions": {
    "srandom": {
      "status": "PORTED",
      "impl": [
        "extension/src/port/EterBase/Random.cpp:srandom"
      ]
    },
    "random": {
      "status": "PORTED",
      "impl": [
        "extension/src/port/EterBase/Random.cpp:random"
      ]
    },
    "frandom": {
      "status": "PORTED",
      "impl": [
        "extension/src/port/EterBase/Random.cpp:frandom"
      ]
    },
    "random_range": {
      "status": "PORTED",
      "impl": [
        "extension/src/port/EterBase/Random.cpp:random_range"
      ]
    }
  }
}