Experiment to reproduce a bug in libval