template a(T: type int32) = discard
template a(T: type int64) = discard
a(int)