<?xml version="1.0"?>
<def format="2">
  <memory>
    <alloc init="false" buffer-size="malloc">malloc</alloc>
	<!-- error: invalid element aloc -->
    <aloc init="true" buffer-size="calloc">calloc</alloc>
    <alloc init="false" buffer-size="malloc:2">aligned_alloc</alloc>
    <realloc init="false" buffer-size="malloc:2">realloc</realloc>
    <realloc init="false" buffer-size="calloc:2,3">reallocarray</realloc>
    <dealloc>free</dealloc>
  </memory>
</def>