source: CIVL/mods/dev.civl.com/examples/languageFeatures/equivQualifier.c@ cb4d4f4

#include <civlc.cvh>
#include <pointer.cvh>

$input double ARR1[3];

void main() {
    double ARR2[3];
    
    for (int i = 0; i < 3; i ++) {
        ARR2[i] = ARR1[i];
    }
    $assert($equals(&ARR2, &ARR1));
}