.\random.axec def randomize(): void def random(a: i32, b: i32): i32 def random_float(a: f32, b: f32): f32