inline util functions, add UA_alloca