Use ALLOC/xfree in place of malloc/free.