An INIT plugin for Plato