you can remove the type here since it is obvious this is Int