#include "kernel/static.h"
#include "kernel/textoutputbuilder.h"
#include "kernel/textoutputentities.h"