Fix bugs based on the simple tests/ directory, including testing for an uncertain pointer (which still doesn't work if the allocation has an unknown size).