#include "isa_erasure.h"