TeX source:
void \ push(void* data)