/* This file was generated by scramble.py. */
#ifndef _PCODE_HEADER_GUARD_ALGO1_VERIFY_
#define _PCODE_HEADER_GUARD_ALGO1_VERIFY_
#include "data.h"
#include "config.h"
#include "code.h"
void algo1_verify(Algo2Set *set);
#endif
/* This file was generated by scramble.py. */
