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>
)