/* -*- c++ -*- */
 
#ifndef _REORDERING_H_
#define _REORDERING_H_

class Reordering : public gc {
 public:
  Reordering() {}
  int x;
};

#endif