[WebAssembly] Print an extra local decl when the user stack pointer is used