%verify "executed"
    /*
     * TODO (currently punting to stub)
     */