add example for spec documentation