/* option `PMAP_NEW' not defined */