#include "kernel/static.h"
#include "kernel/iproperty.h"
#include "kernel/carray.h"
#include "kernel/cobjectsimple.h"
#include "kernel/textoutputengines.h"
#include "kernel/stateupdater.h"