#ifndef mutex_H
#define mutex_H 1

extern int sodium_crit_enter(void);
extern int sodium_crit_leave(void);

#endif