B.4.3 (Explicit)

Solarity (Explicit)