Symbol: udf_mark_allocated