plugin for ppx: use api/annotate service