#include <stdint.h>
#include <unistd.h>
#include <sole.h>

int
main(int argc, char *argv[])
{
	sole_stream *strm = sole_init(STDOUT_FILENO);

	sole_encode_u64(strm, 5);
	sole_encode_u64(strm, 7);
	sole_encode_u64(strm, 31);

	sole_close(strm);

	return 0;
}