Fixed a bug in the assembler (counting X registers).
Core.oz imports Annotate instead of requiring it.