bash$ cat hands-on.lt | c++filt
[08048939] __libc_start_main(0x080489c8, 1, 0xbffff774, 0x080487e0, 0x08048f90 <unfinished ...>
[08048b0f] std::ios_base::Init::Init[in-charge]()(0x0804a47c, 0xbffff6d4, 0x4006114a, 1, 65535) = 3
[08048b23] __cxa_atexit(0x08048b28, 0, 0x0804a054, 1, 65535)                = 0
[080489e4] __xstat(3, "hands-on", 0xbffff6a0)                               = 0
[08048be0] time(NULL)                                                       = 1062082695
[08048c02] std::basic_ostream<char, std::char_traits<char> >& std::operator<< <std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char const*)(0x0804a348, 0x08048fc9, 0x40014020, 0xbffff774, 0xbffff718) = 0x0804a348
[08048c11] std::basic_istream<char, std::char_traits<char> >& std::operator>><char, std::char_traits<char>, std::allocator<char> >(std::basic_istream<char, std::char_traits<char> >&, std::basic_string<char, std::char_traits<char>, std::allocator<char> >&)(0x0804a3d8, 0xbffff6a4, 0x40014020, 0xbffff774, 0xbffff718) = 0x0804a3d8
[08048d40] std::basic_string<char, std::char_traits<char>, std::allocator<char> >::_M_leak_hard()(0xbffff6a4, 3, 10, 0x01048447, 0x400d31e0) = 0x0804a51c
[08048cf6] isdigit(49, 3, 10, 0x01048447, 0x400d31e0)                       = 2048
[08048d65] isdigit(49, 3, 10, 0x01048447, 0x400d31e0)                       = 2048
[08048d65] isdigit(43, 3, 10, 0x01048447, 0x400d31e0)                       = 0
[08048e34] time(NULL)                                                       = 1062082700
[08048ec5] isdigit(50, 3, 10, 0x01048447, 0x400d31e0)                       = 2048
[08048f0a] isdigit(50, 3, 10, 0x01048447, 0x400d31e0)                       = 2048
[08048c34] std::basic_ostream<char, std::char_traits<char> >& std::operator<< <std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char const*)(0x0804a348, 0x08048fc0, 0x40014020, 0xbffff774, 0xbffff718) = 0x0804a348
[08048c82] std::basic_ostream<char, std::char_traits<char> >::operator<<(long)(0x0804a348, 3, 0x40014020, 0xbffff774, 0xbffff718)     = 0x0804a348
[08048c70] std::basic_ostream<char, std::char_traits<char> >::operator<<(std::basic_ostream<char, std::char_traits<char> >& (*)(std::basic_ostream<char, std::char_traits<char> >&))(0x0804a348, 0x080488e8, 0x40014020, 0xbffff774, 0xbffff718 <unfinished ...>
[40094e0a] std::basic_ostream<char, std::char_traits<char> >& std::endl<char, std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&)(0x0804a348, 0x0804a348, 3, 0x08048421, 0x4002e201) = 0x0804a348
[08048c70] <... std::basic_ostream<char, std::char_traits<char> >::operator<<(std::basic_ostream<char, std::char_traits<char> >& (*)(std::basic_ostream<char, std::char_traits<char> >&)) resumed> )                                 = 0x0804a348
[08048be0] time(NULL)                                                       = 1062082700
[08048c02] std::basic_ostream<char, std::char_traits<char> >& std::operator<< <std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char const*)(0x0804a348, 0x08048fc9, 0x40014020, 0xbffff774, 0xbffff718) = 0x0804a348
[08048c11] std::basic_istream<char, std::char_traits<char> >& std::operator>><char, std::char_traits<char>, std::allocator<char> >(std::basic_istream<char, std::char_traits<char> >&, std::basic_string<char, std::char_traits<char>, std::allocator<char> >&)(0x0804a3d8, 0xbffff6a4, 0x40014020, 0xbffff774, 0xbffff718) = 0x0804a3d8
[08048d40] std::basic_string<char, std::char_traits<char>, std::allocator<char> >::_M_leak_hard()(0xbffff6a4, 1, 10, 0x01048447, 0x400d31e0) = 0x0804a51c
[08048cf6] isdigit(113, 1, 10, 0x01048447, 0x400d31e0)                      = 0
[08048aaf] std::basic_string<char, std::char_traits<char>, std::allocator<char> >::_Rep::_M_destroy(std::allocator<char> const&)(0x0804a510, 0xbffff6f0, 0xbffff6a0, 1, 0xbffff700) = 0x0804a500
[401312c1] std::ios_base::Init::~Init [in-charge]()(0x0804a47c, 0, 172800, 0x40233234, 0x40014020) = 0x400bfd50
[ffffffff] +++ exited (status 0) +++