export function ok()
{
    return 42;
}