[options]
all=true
lazy_mode=true
builtin_lib=prelude
