constant $foo = 12;

##</code><code>##

   constant Int foo = 12;