Make something reasonable in bingrep (but it doesn't work).