0000000000401126 <factorial>:
  401126:	48 83 ff 01          	cmp    $0x1,%rdi
  40112a:	7f 06                	jg     401132 <factorial+0xc>
  40112c:	b8 01 00 00 00       	mov    $0x1,%eax
  401131:	c3                   	retq   
  401132:	53                   	push   %rbx
  401133:	48 89 fb             	mov    %rdi,%rbx
  401136:	48 8d 7f ff          	lea    -0x1(%rdi),%rdi
  40113a:	e8 e7 ff ff ff       	callq  401126 <factorial>
  40113f:	48 0f af c3          	imul   %rbx,%rax
  401143:	5b                   	pop    %rbx
  401144:	c3                   	retq