Base functions and module type check test