sd_id128_is_null(category16-debian.html) - phpMan