Remove the layout argument of [free_block].
This information is already contained in the allocation map. Removing makes it easier to relate to the Cerberus memory model interface.
This information is already contained in the allocation map. Removing makes it easier to relate to the Cerberus memory model interface.