#pragma once
#include <compartment.h>
#include <stdint.h>

/**
 * Set the secret the first time.
 *
 * This blocks until there is a character available on the UART.  This is
 * *not* a good way of getting entropy, but it's the only one that we have
 * in the simulator.
 */
void set_secret();

/**
 * Report the current value of the secret and pick a new one.
 */
void check_secret(int32_t guess);