// this file is part of testcase instantiate5.C

int main() {}