let f [] = 1 (* checking warnings *)