Commit 622caabcd25f4e11f752241417d06c9062acdf1f

Chongyun Lee 2023-12-24T23:38:32

Put more optional symbols behind ifdefs (#812)