#include <perms.h>
typedef struct Stackfm {
  int Depth;
} Stackfm;
void Dumprv(Stackfm *V) {}