/plumisa_machdep.c/1.14/Sun Aug  8 03:01:45 2021//
/isa_machdep.c/1.42/Mon Sep 26 03:01:25 2022//
D