// S : tags   mstring todo  $TAGS
// S : expect --result valid
// 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 : sym :        : --lamp symstring --symbolic : sym  : valid
// V : con :        : --lamp constring            : min  : valid

#include <sys/lamp.h>

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

char *concat_bbb( char *str )
{
    char buffb[] = "bbb";
    char *bbb = __lamp_lift_str( buffb );
    strcat( str, bbb );
    return str;
}

int main()
{
    char buffe[] = "aaabbb";
    char * expected = __lamp_lift_str( buffe );

    char buffa[7] = "aaa";
    char * aaa = __lamp_lift_arr( buffa, sizeof( buffa ) );

    concat_bbb( aaa );
    assert( strcmp( aaa, expected ) == 0 );
}