Als normales C-Programm würde ich das durchgehen lassen.
Sollte auf dem Arduino so eigentlich auch laufen, habe es nur wie gesagt nicht getestet.
Was man noch machen sollte/kann ist den pinMode auf PIN 9 auf OUTPUT zu setzen, aber ansonsten sollte das Script der Anforderung aus Post Bitte melde dich an, um diesen Link zu sehen. genügen.