interface change not detected. Refs: #134. An interface change of a pointer to an anonymous fixed size array is not detected by the finger printing mechanism because the same finger printing algorithm is applied twice and cancels the effect. In order to disturb this pattern a constant is added at one place when the pattern is detected. The constant is added only for this special case in order not to change the finger prints of existing interfaces.