Pass flowControl.
Pass module.
Pass first recursion test.