#include "uninst.H" template void FOO() { } int main() { FOO(); // stage 2 needs this return min(5, 0); }