So it was exactalloc KASSERTing, which printed nothing and just stopped everything?