no need for the example. add script to compare
make posexpr hold type info