hoplitert-bounds