That is going to be trickier, as extensions() cannot help.