sexplib 112.01.00 only works on 4.02