imprexv: sketched out the public interface