haud_buffer_occupied_words
return haud_buffer_word_capacity(buf) - haud_buffer_occupied_words(buf);
for (int i = 0; haud_buffer_occupied_words(buf) < words; i++) {