Searching for a language

I am looking for a programming language, it can't be non-free (thats means free as free of charge) or any of that non-opensource crap. It has to be real multithread-capable (none of that green thread/ co-routine bullshit) and has to produce small executables(no 100-line program should be above 5mb). And has to be really fast (not more than 2 times slower than C). Also It can't be purely functional or type-unsafe. And you have to post examples of that language used to make real programs(i want to make sure its useful in the real world). And it would need to come with macros and RTTI out of the box. OH! and it CANNOT have mandatory Garbage Collection, or been made to use reference counting. It has to be portable, or at least run in Linux and Windows. Also it would have be nice if it had a large standard library and was multiparadigm.

Why is "examples fo real-world use" even a thing? That's the line COBOL and PHP advocates use because they have nothing else. If its not PHP ad hoc, is Turing complete and there are a few libraries to get started (people seem entitled with their boosts and batteries these days) that just feels like a universal cop out in case someone actually finds your utopian language. If the fundamentals of the language design itself is shit then its not worth ever touching, if the implementation is non-free you might as well have designed your own language to begin with, as for everything else they can be improved after the fact.

Fine: non-free
Fine: non-opensource
Fine: not real multithread-capable (SMP and OS-level threads)
Fine: cannot produce small executables
Fine: low speed ( more than 2 times slower than C)
Fine: purely functional
Fine: type-unsafe.
Nope: no examples fo real-world use
Fine: no macros
Fine: no RTTI
Fine: forced Garbage Collection
Fine: forced reference counting
Port it yourself: non-portable
Write it yourself: small standard library
Possible signs of an ad-hoc design otherwise: single-paradigm

Anyway, Modula-2, Ada and perhaps Oberon sans GC may be the closest things you want (if you forgo macros) since they come from a strong typing tradition and from a time emitting machine code was still a thing.