#export asdf ::= int;
#export ghjk := #sizeof(asdf);