void pollux_init(void)
{
}

void pollux_finish(void)
{
}