// S : tags   error mstring todo  $TAGS
// S : expect --result error --location-comment ERROR
// S : cc     -o test.bc  $CC_OPT $file
// S : verify -o nofail:malloc $V_OPT test.bc

// N : V   : CC_OPT : V_OPT                       : TAGS      : RESULT
// V : con :        : --lamp constring            : error min : valid
// V : sym :        : --lamp symstring --symbolic : error sym : valid

#include <sys/lamp.h>

#include <assert.h>
#include <stdio.h>
#include <string.h>

int main()
{
    char stra[5] = "aabb";
    const char * a = __lamp_lift_arr( stra, sizeof( stra ) );
    char strb[7] = "ccc\0bb";
    const char * b = __lamp_lift_arr( strb, sizeof( strb ) );
    int cmp = strcmp( a, b );
    assert( cmp == 0 ); /* ERROR */
}