000000000000025d <fac>:
 25d:	53                   	push   rbx
 25e:	48 83 ec 10          	sub    rsp,0x10
 262:	48 89 fb             	mov    rbx,rdi
 265:	e8 00 00 00 00       	call   26a <fac+0xd>
 26a:	48 89 44 24 08       	mov    QWORD PTR [rsp+0x8],rax
 26f:	48 89 de             	mov    rsi,rbx
 272:	48 89 c7             	mov    rdi,rax
 275:	e8 00 00 00 00       	call   27a <fac+0x1d>
 27a:	48 89 c2             	mov    rdx,rax
 27d:	be 00 00 00 00       	mov    esi,0x0
 282:	48 8b 7c 24 08       	mov    rdi,QWORD PTR [rsp+0x8]
 287:	e8 00 00 00 00       	call   28c <fac+0x2f>
 28c:	48 89 c2             	mov    rdx,rax
 28f:	be 00 00 00 00       	mov    esi,0x0
 294:	48 8b 7c 24 08       	mov    rdi,QWORD PTR [rsp+0x8]
 299:	e8 00 00 00 00       	call   29e <fac+0x41>
 29e:	48 89 e2             	mov    rdx,rsp
 2a1:	48 89 c6             	mov    rsi,rax
 2a4:	48 8d 7c 24 08       	lea    rdi,[rsp+0x8]
 2a9:	e8 00 00 00 00       	call   2ae <fac+0x51>
 2ae:	48 8b 74 24 08       	mov    rsi,QWORD PTR [rsp+0x8]
 2b3:	bf 00 00 00 00       	mov    edi,0x0
 2b8:	e8 00 00 00 00       	call   2bd <fac+0x60>
 2bd:	48 8b 3c 24          	mov    rdi,QWORD PTR [rsp]
 2c1:	e8 00 00 00 00       	call   2c6 <fac+0x69>
 2c6:	48 89 c3             	mov    rbx,rax
 2c9:	48 8b 7c 24 08       	mov    rdi,QWORD PTR [rsp+0x8]
 2ce:	e8 00 00 00 00       	call   2d3 <fac+0x76>
 2d3:	48 89 d8             	mov    rax,rbx
 2d6:	48 83 c4 10          	add    rsp,0x10
 2da:	5b                   	pop    rbx
 2db:	c3                   	ret