// Trac ticket
// https://cforall.uwaterloo.ca/trac/ticket/95

#include <monitor.hfa>
monitor M { condition e; } m;
void rtn( M & mutex m );
void bar( M & mutex m ) {
 	waitfor( rtn, m ); // not ambiguous, select parameter
}