// Source: https://lists.gnu.org/archive/html/libtool/2002-07/msg00025.html

#include <stdio.h>

extern int l2;
void l1(void)
{
  printf("l1 %d\n", l2);
}