public virtual BlockWorkitem CreateBlockWorkItem( Address addrStart, Procedure proc, ProcessorState stateOnEntry) { return new BlockWorkitem( this, program, stateOnEntry, addrStart); }