#include "shared_context.h"

uint32_t set_result_get_publicKey(void);