The Hello World example is in C

[miohtama]

The first example the developers encounter is written in C.

https://docs.elrond.com/developers/tutorials/counter/

This is counter-intutitive because we assume most of if not all Elrond smart contracts should be written in Rust.