bin some usage of Java int, use file instead