tests Martin Maechler

tests Martin Maechler