extern void poison_direct_from_A_optional(void);
void direct_from_A_optional(void)
{
  poison_direct_from_A_optional();
}