const onbeforeprint_setterinfo: JSJitInfo;