WARNING: stack recursion on stack type 2