Stricter definitions for parameters to C calls