1 // -*- c++ -*-

     2 

     3 #include "ns3/network-module.h"

     4 

     5 using namespace ns3;

     6 

     7 namespace 

     8 {

     9     void __foo () 

    10     {

    11         static SequenceNumber32 a;

    12         static SequenceNumber16 b;

    13     }

    14     

    15 }

    16