! Your true and false branches for the available? word ! are not balanced. The true branch conforms to the ! stack effect, but the false branch leaves the x y ! and board elements which violates the stack ! effect declaration. ! The following definition balances both branches: : available? ( x y board -- ? ) 3dup in-bounds? [ occupied? not ] [ 3drop f ] if ;