Add a simplest possible testcase -- more will follow