void start(void)
{
/* Semantic initializations, none needed. */
}