Explain usage of pushuserdata a bit better