push onto mark stack