let
inside_pspicture = ref
false