# # Exec module definition for disvm-exec program # Exec: module { init: fn(args: list of string); };