main library Null safety

Functions

main() → void