Module util
twasmi_validation
Locals are the concatenation of a slice of function parameters with function declared local variables.