let
global_start = ref (-1)