{
  "function": "intBelow",
  "cases": [
    {
      "name": "below-6-from-seed-0",
      "args": [
        6,
        0
      ],
      "expected": [
        2,
        1831565813
      ]
    },
    {
      "name": "below-1-from-seed-0",
      "args": [
        1,
        0
      ],
      "expected": [
        0,
        1831565813
      ]
    },
    {
      "name": "below-2-from-seed-1",
      "args": [
        2,
        1
      ],
      "expected": [
        1,
        1831565814
      ]
    },
    {
      "name": "below-10-from-seed-1",
      "args": [
        10,
        1
      ],
      "expected": [
        7,
        1831565814
      ]
    },
    {
      "name": "below-3-from-seed-4294967295",
      "args": [
        3,
        4294967295
      ],
      "expected": [
        2,
        1831565812
      ]
    },
    {
      "name": "below-400-from-seed-42",
      "args": [
        400,
        42
      ],
      "expected": [
        156,
        1831565855
      ]
    },
    {
      "name": "below-4-from-seed-12345",
      "args": [
        4,
        12345
      ],
      "expected": [
        1,
        1831578158
      ]
    }
  ]
}