organization="Computer Laboratory", navbar=1, breadcrumbs=1, breadcrumbprefix=( (href="https://www.cl.cam.ac.uk/", "Computer Laboratory"), (href="https://www.cl.cam.ac.uk/~swm11", "Simon Moore"), (href="https://www.cl.cam.ac.uk/~swm11/examples", "Examples"), (href="https://www.cl.cam.ac.uk/~swm11/examples/bluespec", "Bluespec") ), webmaster=(name="Simon Moore", url="https://www.cl.cam.ac.uk/~swm11/"),