Wejście

• rozmiar zwalnianego bloku pamięci k - zwalniamy blok o rozmiarze $2^k$ ramek
• adres początku zwalnianego bloku a
• tablica rozmiaru MAX_ORDER, której i-tym elementem jest lista wolnych bloków pamięci o rozmiarze $2^i$ ramek oraz dla każdej takiej listy mapa bitowa opisująca stan bliźniaków