"431ecef8c85d4d24" is about unicode xid vs unicode id.
I doubt that character is used for identifier in practice.
"8386fbff927a9e0e" is about parsing very long numeric literal.
It's about float parsing issue. ignored test and P-low because I don't think someone would type 30 zeros instead of 1e30.