{"jsonrpc":"2.0","id":123,"result":[{"position":{"line":0,"character":5},"label":"int"}]}