#pragma once

namespace std {
  typedef int jmp_buf[1];
}
