4. Seq16 Runtime Initialization

At runtime, the seq16 page is initialized with the function page_seq16_runtime_init.

<<seq16_function_declarations>>=

void page_seq16_runtime_init(monolith_d *m);

<<seq16_functions>>=

void page_seq16_runtime_init(monolith_d *m)
{
<<seq16_runtime_init>>
}