You might also try testing that memory on that machine is not faulty.

(I've been struggling with an ongoing onslaught of machines with faulty memory.)

FYI,

-- 
Raul

On Fri, Mar 6, 2020 at 6:19 PM Raymond, David <david.raym...@nmt.edu> wrote:
>
> You might try an alternate desktop/window manager such as lxqt or
> icewm and see if the problem persists.  When I tried XFCE on my X1
> carbon laptop, XFCE was not so nice, though I can't remember the
> details at this point.
>
> Dave Raymond
>
> On 3/5/20, Why 42? The lists account. <li...@y42.org> wrote:
> >
> > Hi All,
> >
> > We've been running OpenBSD on a server for several years now and its been
> > reliable with minimal issues, so I thought I would also like to try it as
> > a desktop system.
> >
> > Thus I've been experimenting with an Intel NUC 8i5BEH running OpenBSD
> > current snapshots and with XFCE as the Windowing system. And it all works
> > very nicely. So well in fact that I've added an SSD, NFS mounted my old
> > Linux box and rsynced over my home directory. OpenBSD as my main desktop
> > system!
> >
> > For the most part everything has gone well, I have only noticed one
> > serious issue so far: The complete system hangs intermittently. Which is
> > naturally a bit of a downer :(.
> >
> > When this happens the mouse is frozen, the capslock LED on the (USB)
> > keyboard doesn't light up and the system doesn't respond to ssh. To
> > recover I have to hold down the power switch to shutoff the system, then
> > turn it on again, reboot and examine the resulting fsck errors.
> >
> > I have impression this often occurs when using a Web browser. At first
> > when I used Iridium, then Chrome, it seemed to happen every few hours.
> > When I switched to trying Firefox, then the hangs seemed to occur less
> > often, maybe every day or two. Perhaps I'm doing less browsing because of
> > the hangs :).
> >
> > The graphics driver being used is: inteldrm0 at pci0 dev 2 function 0
> > "Intel Iris Plus Graphics 655" rev 0x01
> >
> > I can leave the system running, sitting at the xenodm screen, for days
> > without issue. I've also done a couple of complete memtest86 runs without
> > error. I've even upgraded to the latest BIOS/firmware version.
> >
> > I've increased maxproc and maxfiles in sysctl.conf and also set
> > ddb.panic=0 thinking that the behaviour might change to a panic+reboot
> > instead of a hang, but this made no difference.
> >
> > After a hang + reboot there is nothing obvious in the log files.
> >
> > Any suggestions how to further debug such an issue?
> >
> > The OpenBSD kernel tells me that there is a serial port / UART (com0 at
> > isa0 port 0x3f8/8 irq 4: ns16550 ...) but I've taken the NUC to pieces
> > and I cannot see anything on the board that looks like a serial port
> > header.
> >
> > The kernel does log a few of dubious messages at boot time. There are
> > several instances of "not configured". And there is one occurrence of
> > "mem address conflict 0xfe010000/0x1000". I don't know if these are
> > relevant, generally the system seems quite stable. Until it isn't. If you
> > see what I mean. (See below for a complete set of boot time messages).
> >
> > I would be grateful for any support in debugging, or even better,
> > resolving this issue.
> >
> > Cheers,
> > Robb.
> >
> > mjoelnir:log 5.03 23:22:54 # dmesg
> > OpenBSD 6.6-current (GENERIC.MP) #20: Sat Feb 29 14:38:12 MST 2020
> >     dera...@amd64.openbsd.org:/usr/src/sys/arch/amd64/compile/GENERIC.MP
> > real mem = 34201518080 (32617MB)
> > avail mem = 33152389120 (31616MB)
> > mpath0 at root
> > scsibus0 at mpath0: 256 targets
> > mainbus0 at root
> > bios0 at mainbus0: SMBIOS rev. 3.2 @ 0x7a9a4000 (77 entries)
> > bios0: vendor Intel Corp. version "BECFL357.86A.0077.2019.1127.1452" date
> > 11/27/2019
> > bios0: Intel(R) Client Systems NUC8i5BEH
> > acpi0 at bios0: ACPI 6.1
> > acpi0: sleep states S0 S3 S4 S5
> > acpi0: tables DSDT FACP APIC FPDT FIDT MCFG SSDT SSDT HPET SSDT SSDT UEFI
> > LPIT SSDT SSDT DBGP DBG2 DMAR SSDT NHLT BGRT TPM2 WSMT
> > acpi0: wakeup devices SIO1(S3) RP01(S4) PXSX(S4) RP02(S4) PXSX(S4) RP03(S4)
> > PXSX(S4) RP04(S4) PXSX(S4) RP05(S4) PXSX(S4) RP06(S4) PXSX(S4) RP07(S4)
> > PXSX(S4) RP08(S4) [...]
> > acpitimer0 at acpi0: 3579545 Hz, 24 bits
> > acpimadt0 at acpi0 addr 0xfee00000: PC-AT compat
> > cpu0 at mainbus0: apid 0 (boot processor)
> > cpu0: Intel(R) Core(TM) i5-8259U CPU @ 2.30GHz, 9182.89 MHz, 06-8e-0a
> > cpu0:
> > FPU,VME,DE,PSE,TSC,MSR,PAE,MCE,CX8,APIC,SEP,MTRR,PGE,MCA,CMOV,PAT,PSE36,CFLUSH,DS,ACPI,MMX,FXSR,SSE,SSE2,SS,HTT,TM,PBE,SSE3,PCLMUL,DTES64,MWAIT,DS-CPL,VMX,EST,TM2,SSSE3,SDBG,FMA3,CX16,xTPR,PDCM,PCID,SSE4.1,SSE4.2,x2APIC,MOVBE,POPCNT,DEADLINE,AES,XSAVE,AVX,F16C,RDRAND,NXE,PAGE1GB,RDTSCP,LONG,LAHF,ABM,3DNOWP,PERF,ITSC,FSGSBASE,TSC_ADJUST,SGX,BMI1,AVX2,SMEP,BMI2,ERMS,INVPCID,MPX,RDSEED,ADX,SMAP,CLFLUSHOPT,PT,MD_CLEAR,TSXFA,IBRS,IBPB,STIBP,L1DF,SSBD,SENSOR,ARAT,XSAVEOPT,XSAVEC,XGETBV1,XSAVES,MELTDOWN
> > cpu0: 256KB 64b/line 8-way L2 cache
> > cpu0: smt 0, core 0, package 0
> > mtrr: Pentium Pro MTRR support, 10 var ranges, 88 fixed ranges
> > cpu0: apic clock running at 24MHz
> > cpu0: mwait min=64, max=64, C-substates=0.2.1.2.4.1.1.1, IBE
> > cpu1 at mainbus0: apid 2 (application processor)
> > cpu1: Intel(R) Core(TM) i5-8259U CPU @ 2.30GHz, 2194.90 MHz, 06-8e-0a
> > cpu1:
> > FPU,VME,DE,PSE,TSC,MSR,PAE,MCE,CX8,APIC,SEP,MTRR,PGE,MCA,CMOV,PAT,PSE36,CFLUSH,DS,ACPI,MMX,FXSR,SSE,SSE2,SS,HTT,TM,PBE,SSE3,PCLMUL,DTES64,MWAIT,DS-CPL,VMX,EST,TM2,SSSE3,SDBG,FMA3,CX16,xTPR,PDCM,PCID,SSE4.1,SSE4.2,x2APIC,MOVBE,POPCNT,DEADLINE,AES,XSAVE,AVX,F16C,RDRAND,NXE,PAGE1GB,RDTSCP,LONG,LAHF,ABM,3DNOWP,PERF,ITSC,FSGSBASE,TSC_ADJUST,SGX,BMI1,AVX2,SMEP,BMI2,ERMS,INVPCID,MPX,RDSEED,ADX,SMAP,CLFLUSHOPT,PT,MD_CLEAR,TSXFA,IBRS,IBPB,STIBP,L1DF,SSBD,SENSOR,ARAT,XSAVEOPT,XSAVEC,XGETBV1,XSAVES,MELTDOWN
> > cpu1: 256KB 64b/line 8-way L2 cache
> > cpu1: smt 0, core 1, package 0
> > cpu2 at mainbus0: apid 4 (application processor)
> > cpu2: Intel(R) Core(TM) i5-8259U CPU @ 2.30GHz, 2194.90 MHz, 06-8e-0a
> > cpu2:
> > FPU,VME,DE,PSE,TSC,MSR,PAE,MCE,CX8,APIC,SEP,MTRR,PGE,MCA,CMOV,PAT,PSE36,CFLUSH,DS,ACPI,MMX,FXSR,SSE,SSE2,SS,HTT,TM,PBE,SSE3,PCLMUL,DTES64,MWAIT,DS-CPL,VMX,EST,TM2,SSSE3,SDBG,FMA3,CX16,xTPR,PDCM,PCID,SSE4.1,SSE4.2,x2APIC,MOVBE,POPCNT,DEADLINE,AES,XSAVE,AVX,F16C,RDRAND,NXE,PAGE1GB,RDTSCP,LONG,LAHF,ABM,3DNOWP,PERF,ITSC,FSGSBASE,TSC_ADJUST,SGX,BMI1,AVX2,SMEP,BMI2,ERMS,INVPCID,MPX,RDSEED,ADX,SMAP,CLFLUSHOPT,PT,MD_CLEAR,TSXFA,IBRS,IBPB,STIBP,L1DF,SSBD,SENSOR,ARAT,XSAVEOPT,XSAVEC,XGETBV1,XSAVES,MELTDOWN
> > cpu2: 256KB 64b/line 8-way L2 cache
> > cpu2: smt 0, core 2, package 0
> > cpu3 at mainbus0: apid 6 (application processor)
> > cpu3: Intel(R) Core(TM) i5-8259U CPU @ 2.30GHz, 2194.90 MHz, 06-8e-0a
> > cpu3:
> > FPU,VME,DE,PSE,TSC,MSR,PAE,MCE,CX8,APIC,SEP,MTRR,PGE,MCA,CMOV,PAT,PSE36,CFLUSH,DS,ACPI,MMX,FXSR,SSE,SSE2,SS,HTT,TM,PBE,SSE3,PCLMUL,DTES64,MWAIT,DS-CPL,VMX,EST,TM2,SSSE3,SDBG,FMA3,CX16,xTPR,PDCM,PCID,SSE4.1,SSE4.2,x2APIC,MOVBE,POPCNT,DEADLINE,AES,XSAVE,AVX,F16C,RDRAND,NXE,PAGE1GB,RDTSCP,LONG,LAHF,ABM,3DNOWP,PERF,ITSC,FSGSBASE,TSC_ADJUST,SGX,BMI1,AVX2,SMEP,BMI2,ERMS,INVPCID,MPX,RDSEED,ADX,SMAP,CLFLUSHOPT,PT,MD_CLEAR,TSXFA,IBRS,IBPB,STIBP,L1DF,SSBD,SENSOR,ARAT,XSAVEOPT,XSAVEC,XGETBV1,XSAVES,MELTDOWN
> > cpu3: 256KB 64b/line 8-way L2 cache
> > cpu3: smt 0, core 3, package 0
> > ioapic0 at mainbus0: apid 2 pa 0xfec00000, version 20, 120 pins
> > acpimcfg0 at acpi0
> > acpimcfg0: addr 0xe0000000, bus 0-255
> > acpihpet0 at acpi0: 23999999 Hz
> > acpiprt0 at acpi0: bus 0 (PCI0)
> > acpiprt1 at acpi0: bus -1 (PEG0)
> > acpiprt2 at acpi0: bus -1 (PEG1)
> > acpiprt3 at acpi0: bus -1 (PEG2)
> > acpiprt4 at acpi0: bus -1 (RP01)
> > acpiprt5 at acpi0: bus -1 (RP02)
> > acpiprt6 at acpi0: bus -1 (RP03)
> > acpiprt7 at acpi0: bus -1 (RP04)
> > acpiprt8 at acpi0: bus -1 (RP05)
> > acpiprt9 at acpi0: bus -1 (RP06)
> > acpiprt10 at acpi0: bus -1 (RP07)
> > acpiprt11 at acpi0: bus -1 (RP08)
> > acpiprt12 at acpi0: bus 1 (RP09)
> > acpiprt13 at acpi0: bus -1 (RP10)
> > acpiprt14 at acpi0: bus -1 (RP11)
> > acpiprt15 at acpi0: bus -1 (RP12)
> > acpiprt16 at acpi0: bus -1 (RP13)
> > acpiprt17 at acpi0: bus -1 (RP14)
> > acpiprt18 at acpi0: bus 2 (RP15)
> > acpiprt19 at acpi0: bus -1 (RP16)
> > acpiprt20 at acpi0: bus -1 (RP17)
> > acpiprt21 at acpi0: bus -1 (RP18)
> > acpiprt22 at acpi0: bus -1 (RP19)
> > acpiprt23 at acpi0: bus -1 (RP20)
> > acpiprt24 at acpi0: bus -1 (RP21)
> > acpiprt25 at acpi0: bus -1 (RP22)
> > acpiprt26 at acpi0: bus -1 (RP23)
> > acpiprt27 at acpi0: bus -1 (RP24)
> > acpiec0 at acpi0
> > acpitz0 at acpi0acpitz0: TZ0_: failed to read _HOT
> > acpitz0: TZ0_: failed to read _TMP
> > acpitz0: TZ0_: failed to read _TMP
> > acpipwrres0 at acpi0: USBC, resource for XDCI
> > acpipwrres1 at acpi0: V0PR
> > acpipwrres2 at acpi0: V1PR
> > acpipwrres3 at acpi0: V2PR
> > acpipwrres4 at acpi0: WRST
> > acpicpu0 at acpi0: C3(200@1034 mwait.1@0x60), C2(200@151 mwait.1@0x33),
> > C1(1000@1 mwait.1), PSS
> > acpicpu1 at acpi0: C3(200@1034 mwait.1@0x60), C2(200@151 mwait.1@0x33),
> > C1(1000@1 mwait.1), PSS
> > acpicpu2 at acpi0: C3(200@1034 mwait.1@0x60), C2(200@151 mwait.1@0x33),
> > C1(1000@1 mwait.1), PSS
> > acpicpu3 at acpi0: C3(200@1034 mwait.1@0x60), C2(200@151 mwait.1@0x33),
> > C1(1000@1 mwait.1), PSS
> > acpipwrres5 at acpi0: FN00, resource for FAN0
> > acpipwrres6 at acpi0: FN01, resource for FAN1
> > acpipwrres7 at acpi0: FN02, resource for FAN2
> > acpipwrres8 at acpi0: FN03, resource for FAN3
> > acpipwrres9 at acpi0: FN04, resource for FAN4
> > acpitz1 at acpi0: critical temperature is 119 degC
> > acpipwrres10 at acpi0: PIN_
> > acpipci0 at acpi0 PCI0: 0x00000000 0x00000011 0x00000001
> > "INT34BB" at acpi0 not configured
> > "ACPI000E" at acpi0 not configured
> > "PNP0C14" at acpi0 not configured
> > acpibtn0 at acpi0: SLPB
> > "PNP0C14" at acpi0 not configured
> > "PNP0C14" at acpi0 not configured
> > "INT33A1" at acpi0 not configured
> > acpibtn1 at acpi0: PWRB
> > "MSFT0101" at acpi0 not configured
> > "PNP0C0B" at acpi0 not configured
> > "PNP0C0B" at acpi0 not configured
> > "PNP0C0B" at acpi0 not configured
> > "PNP0C0B" at acpi0 not configured
> > "PNP0C0B" at acpi0 not configured
> > "PNP0C14" at acpi0 not configured
> > acpivideo0 at acpi0: GFX0
> > acpivout0 at acpivideo0: DD1F
> > cpu0: using VERW MDS workaround (except on vmm entry)
> > cpu0: Enhanced SpeedStep 9182 MHz: speeds: 2301, 2300, 2200, 2000, 1900,
> > 1800, 1600, 1500, 1300, 1100, 1000, 900, 800, 700, 500, 400 MHz
> > pci0 at mainbus0 bus 0
> > 0:31:5: mem address conflict 0xfe010000/0x1000
> > pchb0 at pci0 dev 0 function 0 "Intel Core 8G Host" rev 0x08
> > inteldrm0 at pci0 dev 2 function 0 "Intel Iris Plus Graphics 655" rev 0x01
> > drm0 at inteldrm0
> > inteldrm0: msi
> > "Intel Core GMM" rev 0x00 at pci0 dev 8 function 0 not configured
> > "Intel 300 Series Thermal" rev 0x30 at pci0 dev 18 function 0 not
> > configured
> > xhci0 at pci0 dev 20 function 0 "Intel 300 Series xHCI" rev 0x30: msi, xHCI
> > 1.10
> > usb0 at xhci0: USB revision 3.0
> > uhub0 at usb0 configuration 1 interface 0 "Intel xHCI root hub" rev
> > 3.00/1.00 addr 1
> > "Intel 300 Series Shared SRAM" rev 0x30 at pci0 dev 20 function 2 not
> > configured
> > "Intel 300 Series MEI" rev 0x30 at pci0 dev 22 function 0 not configured
> > ahci0 at pci0 dev 23 function 0 "Intel 300 Series AHCI" rev 0x30: msi, AHCI
> > 1.3.1
> > ahci0: port 2: 6.0Gb/s
> > scsibus1 at ahci0: 32 targets
> > sd0 at scsibus1 targ 2 lun 0: <ATA, Samsung SSD 860, RVM0>
> > naa.5002538e4109632a
> > sd0: 1953514MB, 512 bytes/sector, 4000797360 sectors, thin
> > ppb0 at pci0 dev 29 function 0 "Intel 300 Series PCIE" rev 0xf0: msi
> > pci1 at ppb0 bus 1
> > nvme0 at pci1 dev 0 function 0 "Samsung SM981/PM981 NVMe" rev 0x00: msix,
> > NVMe 1.3
> > nvme0: Samsung SSD 970 EVO Plus 500GB, firmware 1B2QEXM7, serial
> > S4EVNG0M109821X
> > scsibus2 at nvme0: 2 targets, initiator 0
> > sd1 at scsibus2 targ 1 lun 0: <NVMe, Samsung SSD 970, 1B2Q>
> > sd1: 476940MB, 512 bytes/sector, 976773168 sectors
> > ppb1 at pci0 dev 29 function 6 "Intel 300 Series PCIE" rev 0xf0: msi
> > pci2 at ppb1 bus 2
> > rtsx0 at pci2 dev 0 function 0 "Realtek RTS522A Card Reader" rev 0x01: msi
> > sdmmc0 at rtsx0: 4-bit, dma
> > pcib0 at pci0 dev 31 function 0 "Intel 300 Series LPC" rev 0x30
> > azalia0 at pci0 dev 31 function 3 "Intel 300 Series HD Audio" rev 0x30: msi
> > azalia0: codecs: Realtek/0x0235, Intel/0x280b, using Realtek/0x0235
> > audio0 at azalia0
> > ichiic0 at pci0 dev 31 function 4 "Intel 300 Series SMBus" rev 0x30: apic 2
> > int 16
> > iic0 at ichiic0
> > spdmem0 at iic0 addr 0x50: 16GB DDR4 SDRAM PC4-19200 SO-DIMM
> > spdmem1 at iic0 addr 0x52: 16GB DDR4 SDRAM PC4-19200 SO-DIMM
> > "Intel 300 Series SPI" rev 0x30 at pci0 dev 31 function 5 not configured
> > em0 at pci0 dev 31 function 6 "Intel I219-V" rev 0x30: msi, address
> > 94:c6:91:aa:16:67
> > isa0 at pcib0
> > isadma0 at isa0
> > com0 at isa0 port 0x3f8/8 irq 4: ns16550a, 16 byte fifo
> > com0: probed fifo depth: 0 bytes
> > pcppi0 at isa0 port 0x61
> > spkr0 at pcppi0
> > vmm0 at mainbus0: VMX/EPT
> > efifb at mainbus0 not configured
> > uhub1 at uhub0 port 4 configuration 1 interface 0 "Texas Instruments product
> > 0x8142" rev 2.10/1.00 addr 2
> > uhub2 at uhub1 port 1 configuration 1 interface 0 "Fujitsu Component product
> > 0x100e" rev 2.00/1.05 addr 3
> > uhidev0 at uhub2 port 4 configuration 1 interface 0 "Fujitsu Component Sun
> > USB Keyboard" rev 2.00/1.05 addr 4
> > uhidev0: iclass 3/1
> > ukbd0 at uhidev0: 8 variable keys, 6 key codes, country code 9
> > wskbd0 at ukbd0: console keyboard
> > uhidev1 at uhub1 port 2 configuration 1 interface 0 "ROCCAT ROCCAT Kone EMP"
> > rev 2.00/1.00 addr 5
> > uhidev1: iclass 3/1, 32 report ids
> > ums0 at uhidev1 reportid 1: 5 buttons, Z and W dir
> > wsmouse0 at ums0 mux 0
> > uhid0 at uhidev1 reportid 2: input=2, output=0, feature=0
> > uhid1 at uhidev1 reportid 3: input=4, output=0, feature=0
> > uhid2 at uhidev1 reportid 4: input=0, output=0, feature=2
> > uhid3 at uhidev1 reportid 5: input=0, output=0, feature=3
> > uhid4 at uhidev1 reportid 6: input=0, output=0, feature=40
> > uhid5 at uhidev1 reportid 7: input=0, output=0, feature=70
> > uhid6 at uhidev1 reportid 8: input=0, output=0, feature=1025
> > uhid7 at uhidev1 reportid 9: input=0, output=0, feature=5
> > uhid8 at uhidev1 reportid 10: input=0, output=0, feature=29
> > uhid9 at uhidev1 reportid 12: input=0, output=0, feature=3
> > uhid10 at uhidev1 reportid 13: input=0, output=0, feature=1025
> > uhid11 at uhidev1 reportid 14: input=0, output=0, feature=2
> > uhid12 at uhidev1 reportid 15: input=0, output=0, feature=5
> > uhid13 at uhidev1 reportid 16: input=0, output=0, feature=15
> > uhid14 at uhidev1 reportid 17: input=0, output=0, feature=2
> > uhid15 at uhidev1 reportid 18: input=0, output=0, feature=7
> > uhid16 at uhidev1 reportid 26: input=0, output=0, feature=1025
> > uhid17 at uhidev1 reportid 27: input=0, output=0, feature=1025
> > uhid18 at uhidev1 reportid 28: input=0, output=0, feature=2
> > uhid19 at uhidev1 reportid 32: input=1, output=0, feature=0
> > uhidev2 at uhub1 port 2 configuration 1 interface 1 "ROCCAT ROCCAT Kone EMP"
> > rev 2.00/1.00 addr 5
> > uhidev2: iclass 3/0
> > ukbd1 at uhidev2: 8 variable keys, 6 key codes
> > wskbd1 at ukbd1 mux 1
> > uhub3 at uhub1 port 4 configuration 1 interface 0 "Texas Instruments product
> > 0x8142" rev 2.10/1.00 addr 6
> > uaudio0 at uhub3 port 1 configuration 1 interface 1 "Burr-Brown from TI USB
> > Audio CODEC" rev 1.10/1.00 addr 7
> > uaudio0: class v1, full-speed, sync, channels: 2 play, 2 rec, 3 ctls
> > audio1 at uaudio0
> > uhidev3 at uhub3 port 1 configuration 1 interface 3 "Burr-Brown from TI USB
> > Audio CODEC" rev 1.10/1.00 addr 7
> > uhidev3: iclass 3/0
> > uhid20 at uhidev3: input=1, output=0, feature=0
> > umass0 at uhub0 port 15 configuration 1 interface 0 "Western Digital
> > Elements 2620" rev 3.10/10.18 addr 8
> > umass0: using SCSI over Bulk-Only
> > scsibus3 at umass0: 2 targets, initiator 0
> > sd2 at scsibus3 targ 1 lun 0: <WD, Elements 2620, 1018>
> > serial.1058262039344E4B4E5A
> > sd2: 3815415MB, 512 bytes/sector, 7813969920 sectors
> > uhub4 at uhub0 port 16 configuration 1 interface 0 "Texas Instruments
> > product 0x8140" rev 3.00/1.00 addr 9
> > uhub5 at uhub4 port 4 configuration 1 interface 0 "Texas Instruments product
> > 0x8140" rev 3.00/1.00 addr 10
> > vscsi0 at root
> > scsibus4 at vscsi0: 256 targets
> > softraid0 at root
> > scsibus5 at softraid0: 256 targets
> > root on sd1a (281ef747da03afe7.a) swap on sd1b dump on sd1b
> > WARNING: / was not properly unmounted
> > inteldrm0: 2560x1440, 32bpp
> > wsdisplay0 at inteldrm0 mux 1: console (std, vt100 emulation), using wskbd0
> > wskbd1: connecting to wsdisplay0
> > wsdisplay0: screen 1-5 added (std, vt100 emulation)
> >
> >
>
>
> --
> David J. Raymond
> david.raym...@nmt.edu
> http://physics.nmt.edu/~raymond
>

Reply via email to