TRACE_header_PajeDefineContainerType(basic);
TRACE_header_PajeDefineVariableType(basic);
TRACE_header_PajeDefineStateType(basic);
TRACE_header_PajeDefineContainerType(basic);
TRACE_header_PajeDefineVariableType(basic);
TRACE_header_PajeDefineStateType(basic);