all argument: () ---> Int