upd:x:UPD
edt:x:EDT
numrec_f:x:NUMREC_F
tpu:x:TPU
pvi:x:PVI
cops:x:COPS
vx_dart:x:VX_DART
numrec_c:x:NUMREC_C
flint:x:FLINT
posix:x:local
matrix:x:MATRIX
miser:x:MISER
