$y = regextract_or_else($x, "[0-9]+", "DEFAULT")
