`C-c [` to invoke sdcv