#include <cassert>
#include <stdint.h>
#include <cstring>
#include <vector>
#include "common.h"
#include "debug.h"