s := get_line;
i := numerics.value( get_line );
? s @ i;