Fixnum prog