define a 12
echo $a
define b [int->string $a]
echo $b