RubyVPI.load_test(<%= aModuleInfo.name.inspect %>, <%= aOutputInfo.designPath.inspect %>, <%= aOutputInfo.protoPath.inspect %>, <%= aOutputInfo.specPath.inspect %>)