void init_extensionsb(void);
void init_extensionsb(void)
{
}