/test/passes/

• ../
• infer-types
• initialize-register
• make-explicit-reset
• resolve-kinds