nonsmooth-fp / bindertest