random_uint32
ret = random_uint32() % 3;
fl.l_start = random_uint32() % size;
fl.l_len = random_uint32() % size;
switch (random_uint32() % 3) {