Removed TODO for dirty values. Made dirty_alloc unsafe: it's too easy to misuse.