What should I specify to pass a "char *" in Deno.dlopen?

For example, this is how you would use it in Python:

import ctypes

lib = ctypes.cdll.LoadLibrary('example.dll')
check = lib.check
check.argtypes = [ctypes.c_char_p]
check.restype = ctypes.c_char_p

import ctypes

lib = ctypes.cdll.LoadLibrary('example.dll')
check = lib.check
check.argtypes = [ctypes.c_char_p]
check.restype = ctypes.c_char_p

import ctypes

lib = ctypes.cdll.LoadLibrary('example.dll')
check = lib.check
check.argtypes = [ctypes.c_char_p]
check.restype = ctypes.c_char_p

import ctypes

lib = ctypes.cdll.LoadLibrary('example.dll')
check = lib.check
check.argtypes = [ctypes.c_char_p]
check.restype = ctypes.c_char_p