char* _a4 = argv[1];                       // _cfa_4
// addr = 0x00401500
    char* _v16;                     // _cfa_fffffff0
    int _v20;                       // _cfa_ffffffec
    int _v24;                       // _cfa_ffffffe8
    int _v25;                       // _cfa_ffffffe7
    char _v26;                      // _cfa_ffffffe6
    char _v27;                      // _cfa_ffffffe5
    char _v28;                      // _cfa_ffffffe4
    int _v32;                         // _cfa_ffffffe0
    int _v36;                         // _cfa_ffffffdc

    _v16 = _a4;
    _v20 = 0;
    _v24 = 0;
    _v26 = 254;
    _v27 = 6;
    _v25 = 0;
    while(( *_v16 & 255) != 0) {
        _v28 =  *_v16 & 255;
        _v20 = _v20 + ((_v25 & 255) << 3);
        _v20 = _v27 & 255 ^ _v20 - _v28;
        _v24 = _v24 + ((_v25 & 255) << 2);
        _v20 = _v26 & 255 ^ _v24 - _v28;
        _v24 = _v24 + 56;
        _v25 = _v28 & 255;
        _v16 =  &(_v16[1]);
    }
    _v32 = (_v24 >> 31 ^ _v24) - (_v24 >> 31);
    _v36 = (_v20 >> 31 ^ _v20) - (_v20 >> 31);