Index: src/Concurrency/Keywords.cc
===================================================================
--- src/Concurrency/Keywords.cc	(revision 98e8b3bff3b5c212f4724bd051ba614a77a1be19)
+++ src/Concurrency/Keywords.cc	(revision 2aa25cc246cb459caed9ef2620e76d91b5dca91d)
@@ -931,5 +931,6 @@
 					{
 						new SingleInit( new AddressExpr( new VariableExpr( monitors ) ) ),
-						new SingleInit( new CastExpr( new VariableExpr( func ), generic_func->clone(), false ) )
+						new SingleInit( new CastExpr( new VariableExpr( func ), generic_func->clone(), false ) ),
+						new SingleInit( new ConstantExpr( Constant::from_bool( false ) ) )
 					},
 					noDesignators,