sundo_push


Description:

public void sundo_push (uint64 off, int cursor)