proper binstubs