for some reason int_map was hard coded