patmos: spill test