export function hello_module2() {
  print("hello from module_debug_2!")
}