Support Triangle Machine. - Jiaying Li 001; Chunxue Hao (Proc. ACM Program. Lang., 2025)