Reintroduce r49731 in a variant that looks marginally less efficient,
but which works on top of the llinterp and is more extensible.