pub unsafe extern "C" fn FocalModuleModule(
    arg1: *mut FocalModule
) -> *mut Defmodule