strict types with BBTree seem to pass