bolt/stdlib/main.bolt