Edit File: mutex-dec.h