KernelSlog: { changeCList: ((vatID: string,
crankNum: BigInt,
mode: "import" | "export" | "drop",
kernelSlot: string,
vatSlot: string) => void); delivery: ((vatID: string,
newCrankNum: BigInt,
newDeliveryNum: BigInt,
kd: KernelDeliveryObject,
vd: VatDeliveryObject,
replay?: boolean) => SlogFinishDelivery); provideVatSlogger: ((vatID: string,
dynamic?: boolean,
description?: string,
name?: string,
vatSourceBundle?: unknown,
managerType?: string,
vatParameters?: unknown) => { vatSlog: VatSlog; }); startup: ((vatID: string) => (() => void)); syscall: ((vatID: string,
ksc: KernelSyscallObject | undefined,
vsc: VatSyscallObject) => SlogFinishSyscall); terminateVat: ((vatID: string,
shouldReject: boolean,
info: SwingSetCapData) => void); vatConsole: ((vatID: string,
origConsole: LimitedConsole) => LimitedConsole); write: (({}: any) => void); }