options::protocol declaration.