let reaction_time: Time = 500 ms
let braking_power: Acceleration = 0.8 × gravity

fn stopping_distance(v: Velocity) -> Length =
    v × reaction_time + ½ v² / braking_power

assert_eq(stopping_distance(50 km/h), 19.2385 m, 0.001 m)
