concurrent/examples/boundedBufferEXT.c:39:1 error: No alternatives for function in call to waitfor
/u/pabuhr/software/cfa-cc/include/cfa/bits/containers.h:170:1 error: candidate function not viable: no mutex parameters
forall
  _6573_20_T: sized object type
  ... with assertions
    get_next: pointer to function
    ... with parameters
      reference to instance of type _6573_20_T (not function type) 
    ... returning 
      _retval_get_next: reference to pointer to instance of type _6573_20_T (not function type) 
      ... with attributes: 
        Attribute with name: unused



  lvalue function
... with parameters
  this: reference to instance of struct __queue with body 1 
  ... with parameters
    instance of type _6573_20_T (not function type) 

  it: pointer to pointer to instance of type _6573_20_T (not function type) 
... returning 
  _retval_remove: pointer to instance of type _6573_20_T (not function type) 
  ... with attributes: 
    Attribute with name: unused


/usr/include/stdio.h:178:1 error: candidate function not viable: no mutex parameters
lvalue function
... with parameters
  __filename: C pointer to const char
... returning 
  _retval_remove: signed int
  ... with attributes: 
    Attribute with name: unused


concurrent/examples/boundedBufferEXT.c:47:1 error: No alternatives for function in call to waitfor
concurrent/examples/boundedBufferEXT.c:37:1 error: candidate function not viable: too few mutex arguments
forall
  _6578_20_T: sized object type
  ... with assertions
    ?=?: pointer to function
    ... with parameters
      reference to instance of type _6578_20_T (not function type) 
      instance of type _6578_20_T (not function type) 
    ... returning 
      _retval__operator_assign: instance of type _6578_20_T (not function type) 
      ... with attributes: 
        Attribute with name: unused


    ?{}: pointer to function
    ... with parameters
      reference to instance of type _6578_20_T (not function type) 
    ... returning nothing 

    ?{}: pointer to function
    ... with parameters
      reference to instance of type _6578_20_T (not function type) 
      instance of type _6578_20_T (not function type) 
    ... returning nothing 

    ^?{}: pointer to function
    ... with parameters
      reference to instance of type _6578_20_T (not function type) 
    ... returning nothing 


  lvalue function
... with parameters
  buffer: mutex reference to instance of struct Buffer with body 1 
  ... with parameters
    instance of type _6578_20_T (not function type) 

  elem: instance of type _6578_20_T (not function type) 
... returning nothing 

