dfs_1_Int(73) == -101
dfs_1_Int(8) == 8
dfs_1_Int(9) == 9
