| 1331 | } |
| 1332 | |
| 1333 | void fxPrintStack(txMachine* the, FILE* file) |
| 1334 | { |
| 1335 | txSlot *slot = the->stack; |
| 1336 | txSlot *limit = the->stackTop - 1; |
| 1337 | while (slot < limit) { |
| 1338 | fxPrintSlot(the, file, slot, XS_NO_FLAG); |
| 1339 | slot++; |
| 1340 | } |
| 1341 | fxPrintSlot(the, file, slot, XS_NO_FLAG); |
| 1342 | } |
| 1343 | |
| 1344 | |
| 1345 | void fxPrintTable(txMachine* the, FILE* file, txSize modulo, txSlot** table) |