Document ut_alloc.

This is to complete.