void init_extensionsa(void);
void init_extensionsa(void)
{
}