Well it may be getting a little off-topic for your question, but how about how parrot and perl6 will do it?

#factorial.pasm
       print "The first 15 factorials are:\n"
       set I1, 0
       set I2, 15
       set I3, 1
REDO:  inc I1
       mul I3, I3, I1
       print I3
       print "\n"
       lt I1, I2, REDO
DONE:  end
[download]

To run it,

parrot -o factorial.pbc factorial.pasm
then
parrot factorial.pbc
[download]

The whole parrot assembly register setup is so cool, I think alot of Perl6 will be "Inline::Pasm", :-)