let inside_pspicture = ref false