inf buff semantics