Rename check_int to scripts/check_int