let input_url u = fwd (Input.input_url u)