#ifndef BESM666_E2ETEST_BOOTSTRAP_H
#define BESM666_E2ETEST_BOOTSTRAP_H

typedef unsigned long long rv64dw;

unsigned long long start();
unsigned long long do_nothing_with_value(unsigned long long);

#endif /* BESM666_E2ETEST_BOOTSTRAP_H */
