/**
 * @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;
}