use utf8;

    $id =~ /^[0-9]+$/ or error($c, "Invalid build ID ‘$id’.");