fn check_if_okay_according_to_checkers(
substate_db: InMemorySubstateDatabase,
scrypto_vm: ScryptoVm<DefaultWasmEngine>,
native_vm: NativeVm<NoExtension>,
id_allocator: IdAllocator,
track_builder: impl for<'this> FnOnce(&'this InMemorySubstateDatabase) -> TestTrack<'this>,
system_config_builder: impl for<'this> FnOnce(&'this ScryptoVm<DefaultWasmEngine>) -> TestSystemConfig<'this>,
kernel_builder: impl for<'this> FnOnce(&'this mut TestSystemConfig<'this>, &'this mut TestTrack<'this>, &'this mut IdAllocator) -> TestKernel<'this>
)