just to facilitate making a plugin...

What is this?