Avoiding core dump in slax:value() API