enable_external_effects := @enable_external_effects@
# do we want to use the libcore for debug and ADT support
enable_libcore := @enable_libcore@
enable_external_effects := @enable_external_effects@
# do we want to use the libcore for debug and ADT support
enable_libcore := @enable_libcore@