KernelSlog: { 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; }); syscall: ((vatID: string,
ksc: KernelSyscallObject | undefined,
vsc: VatSyscallObject) => SlogFinishSyscall); terminateVat: ((vatID: string,
shouldReject: boolean,
info: SwingSetCapData) => void); vatConsole: ((vatID: string,
origConsole: {}) => {}); write: (({}: any) => void); }