#pragma once void local_runqueue_minheap_initialize();