stacktyping
