Collection headers are allocated using the pool allocator, so they should be freed by it as well. JerryScript-DCO-1.0-Signed-off-by: Dániel Bátyai dbatyai@inf.u-szeged.hu