I'm currently writing on a assembler and disassembler for gforth for the SPARC-Platform. Currently, as in 1.5 years more or less hard work.

There are some finished assemblers / disassemblers for gforth already and I have access to their sourcecode. Thus, my spasm, as I call it, is based on the MIPS-Assembler/Disassembler

checking bounds is kind of a trivial task, or so it seems. Imagine a C-Function like the following:

check_bounds(int val, int lower, int upper) {
  return((lower <= val) && (val <= upper));
}

The forth-word I need behaves a little different. Written down in pseudo-code, it would be:

check_bounds(int val, int lower, int upper) {
  if((lower > val) || (upper < val))
    throw(new index_out_of_bounds_exception());
}