simplify `mark-global!'