Internal API for Zielenscript