AliasedArgumentsEntryPrint 6890 src/objects.h    inline void AliasedArgumentsEntryPrint() {
AliasedArgumentsEntryPrint 6891 src/objects.h      AliasedArgumentsEntryPrint(stdout);
AliasedArgumentsEntryPrint 6893 src/objects.h    void AliasedArgumentsEntryPrint(FILE* out);