RushPL: careful, that's an undocumented API ;)