/**
* @brief test program
*/
typedef unsigned char uint8_t;
typedef unsigned long int uint64_t;
extern void log(const char*);
extern void log_64(uint64_t, uint64_t, uint64_t, uint64_t, uint64_t);
extern uint64_t entrypoint(const uint8_t *input) {
log("noop");
log_64(1, 2, 3, 4, 5);
return 0;
}