fix #95: pointers to immutable structures must be passed via arrays, not via &