From Guillaume Smet: we are not very consistent when including BV APIs in the spec. Sometimes they are wrapped in an example and sometimes not.