void fctbig(int a, int b, int c) {
	cl.mbbig(a, b, c);
}

08048766 <_Z6fctbigiii>:
 8048766:       55                      push   %ebp
 8048767:       89 e5                   mov    %esp,%ebp
 8048769:       83 ec 18                sub    $0x18,%esp
 804876c:       8b 45 10                mov    0x10(%ebp),%eax
 804876f:       89 44 24 0c             mov    %eax,0xc(%esp)
 8048773:       8b 45 0c                mov    0xc(%ebp),%eax
 8048776:       89 44 24 08             mov    %eax,0x8(%esp)
 804877a:       8b 45 08                mov    0x8(%ebp),%eax
 804877d:       89 44 24 04             mov    %eax,0x4(%esp)
 8048781:       c7 04 24 58 9d 04 08    movl   $0x8049d58,(%esp)
 8048788:       e8 d3 00 00 00          call   8048860 <_ZN2Cl5mbbigEiii>
 804878d:       c9                      leave
 804878e:       c3                      ret
 804878f:       90                      nop