a demo for MUTEX