Redirecting to ../../sp_state_machine/struct.TestExternalities.html...