File "(stdin)", line 1, characters 15-16:
Error: This expression has type int but an expression was expected of type
         string