40050c: 55                      push   %rbp
40050d: 48 89 e5                mov    %rsp,%rbp
400510: 48 83 ec 10             sub    $0x10,%rsp
400514: 89 7d fc                mov    %edi,-0x4(%rbp)
400517: 48 89 75 f0             mov    %rsi,-0x10(%rbp)
40051b: 48 8b 45 f0             mov    -0x10(%rbp),%rax
40051f: 48 83 c0 08             add    $0x8,%rax
400523: 48 8b 00                mov    (%rax),%rax
400526: 48 8b 00                mov    (%rax),%rax
400529: 48 89 c2                mov    %rax,%rdx
40052c: 48 b8 01 46 ef be ad    movabs $0x1064deadbeef4601,%rax
400533: de 64 10
400536: 48 0f af d0             imul   %rax,%rdx
40053a: 48 b8 69 25 b4 07 2e    movabs $0xd1038d2e07b42569,%rax
400541: 8d 03 d1
400544: 48 39 c2                cmp    %rax,%rdx

C:

int main(int i, long **a) {
    if(*a[1] * 0x1064deadbeef4601u == 0xd1038d2e07b42569u) { // main
        // do something
    }
    return 0;
}