public void EnqueueProcedure(Address addr) { queue.Enqueue(PriorityEntryPoint, new ProcedureWorkItem(this, program, addr, null)); }