// out: TypeError: cannot call Int
123();