#include <stdio.h>

typedef tmpl[](int v){
	int <>_ok()
	{
		return v;
	}
};

/* float vs int, should fail */
typedef inst = tmpl[](20.0);

int main()
{
	int ok = inst_ok();
	if (ok == 20)
		puts("OK");
}