/*---------------------------------*- C++ -*----------------------------------*\
filetype dictionary; coding utf-8; version 0.1; local --; purpose --;
\*----------------------------------------------------------------------------*/

a             -1.0;
b            false;
x              6.0;
y             true;
h              8.0;
i            false;
z             10.0;
k             12.0;
