dynselect: rename file Signed-off-by: Chris Waldon <christopher.waldon.dev@gmail.com>
dynselect: initial implementation This is a tested, seemingly-correct implementation of this construct, so I guess it's worth publishing. Signed-off-by: Chris Waldon <christopher.waldon.dev@gmail.com>