// VERIFY_OPTS: -D a=b -Dc=d
// PROGRAM_OPTS: test
// SKIP_CC: 1

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

int main( int argc, char **argv, char **envp ) {
    assert( argc == 2 );
    const char* test_name = "2.main-args-c.c";
    int tl = strlen( test_name );
    int l = strlen( argv[0] );
    __dios_trace_f( "Binary name: %s", argv[0] + l - tl );
    assert( strcmp( argv[0] + l - tl, test_name ) == 0 );
    assert( strcmp( argv[1], "test" ) == 0 );
    assert( argv[2] == NULL);

    assert( envp != NULL );
    assert( strcmp( envp[0], "a=b" ) == 0 );
    assert( strcmp( envp[1], "c=d" ) == 0 );
    assert( envp[2] == NULL );
}