/* This file is part of the Simba project.  */
int mock_write_heap_init(void *buf_p, size_t size, size_t sizes[HEAP_FIXED_SIZES_MAX], int res)
/* This file is part of the Simba project.  */
int mock_write_heap_init(void *buf_p, size_t size, size_t sizes[HEAP_FIXED_SIZES_MAX], int res)
{
    harness_mock_write("heap_init(buf_p)",
                       buf_p,
                       size);
    harness_mock_write("heap_init(size)",
                       &size,
                       sizeof(size));
    harness_mock_write("heap_init(sizes[HEAP_FIXED_SIZES_MAX])",
                       &sizes[HEAP_FIXED_SIZES_MAX],
                       sizeof(sizes[HEAP_FIXED_SIZES_MAX]));
    harness_mock_write("heap_init(): return (res)",
                       &res,
                       sizeof(res));
    return (0);
}