sp.readonly_exec.enable().extended_checks().simulation();