Явное объединение свободного списка

Я сейчас работаю над самодельной malloc а также free функция. Для этого я использую явный свободный список, который не содержит предыдущего указателя.

Мой вопрос: возможно ли (с этой структурой данных) реализовать объединение?