You can use `get_value_from_stdin` here.