This now works: --------------------------------------- import core.stdc.stdio; int xxx; void main() { printf("hello world %x\n", xxx); }