* todos
  1. Parser
     1. selective rule overwriting
     2. define space requirements (especially 1-bit-bools)
  2. Sicherheitsmassnahmen gegen Datenzerstoerung
     * Logs der ausgefuehrten Kommandos
  3. PLAs refractorn zur nutzung von pla_filter_{prop,quant}
  4. child-readbaility bzw. on-modifabilty deduzieren und bei
     Verletzungen warnen
* Checks:
  1. PLA_get/set/evolve pruefen bei read only continous values: time_t ist Time (nicht void), wird aber beim Zugrif nicht genutzt
  2. alle sync()'s: werden die tiefer liegenden Barriers korrekt besetzt?

* Optimierungen:
  1. Konstanten als quantor class (WORM)
  2. MAP_HUGETLB (ab 2.6.32) ... if it can be made swappable (or sim
     is small enough)
  3. (gcc 07/2011) builtin align for data storage
  4. GCC 4.6: -Wsuggest-attribute=[const|pure|noreturn]