The protocol declares dealloc_bytes(ptr) — the size argument I passed at three sites was silently accepted and dropped by the compiler (issue 0131); these calls would stop compiling the moment that diagnostic gap is fixed.