libsplain view 3