scc (rax & 0xffffffff)

The following code:
```
int main (uint64_t a) {
	return a & 0xffffffff;
}
```

When compiled with scc for x86_64 linux, produces:
```
push rbp
mov rbp, rsp
and rax, 0xffffffffffffffff
leave
retn
```

The expected result is:
```
push rbp
mov rbp, rsp
and rax, 0xffffffff
leave
retn
```