+hack: add debugging to spec