/* Check the behavior of the prettyprinter for extern, static and
   typedef */

extern int i;
int j;
static int k;
typedef int km;


int main()
{

  extern int i_m;
  int j_m;
  static int k_m;
  typedef int km_m;

}
