#include <libminuid/libminuid.h>
extern minuid_session_t pcb_minuid;

void pcb_minuid_init(void);