The problem was not in the os but it was because we forgot to place display_bounded_buffer in a while loop