BoundedBufferPrim : trace message