.pragma library
function func()
{
    isFinite() )
}