You can buy this project and download/modify it how often you want.
#include "stack.h" TeaVM_StackFrame* teavm_stackTop = NULL;