Examples of nonreentrant entry linkage