#include #include static Lock fmtl; void _fmtlock(void) { lock(&fmtl); } void _fmtunlock(void) { unlock(&fmtl); }