void a_always(void)
{
}