def update_pos(s0, v0, delta_t_ms):
    """
    Given the position and speed at time t0 (s0, v0),
    computes the new position at time t1 = t0 + delta_t
    """
    return s0 + (v0 * delta_t_ms / 1000)