Demo goto declaration plugin