Maybe they can use something like javascript's and perl's "strict" annotations.