/* (C) Copyright Rene Rivera, 2002.
** Distributed under the Boost Software License, Version 1.0.
** (See accompanying file LICENSE_1_0.txt or http://www.boost.org/LICENSE_1_0.txt)
*/

extern int lib_call(int x);

int lib_call(int x)
{
    return x*2;
}
