belady spill should now be bugfree. spec is working.