[PATCH] sem2mutex: iprune