TEMPLATE <T>
FUNCTION Max(A : T, B : T) RETURNS T
    RETURN A
ENDFUNCTION
TEMPLATE <T>
FUNCTION Undeducible() RETURNS T
    RETURN 0
ENDFUNCTION
OUTPUT Max(1, 2.5)
OUTPUT Undeducible()