#ifndef PKE_AT_PKE_AT_SETTINGS_HPP
#define PKE_AT_PKE_AT_SETTINGS_HPP

#include "pke/pk.h"

struct pke_at_global_settings {
	struct pke_at_global_settings_mem {
		pk_membucket *bkt;
		pk_membucket *bkt_transient;
	} mem;
};

extern struct pke_at_global_settings pke_at_settings;

#endif /* PKE_AT_PKE_AT_SETTINGS_HPP */