Tiny mutex