#!/bin/bash
dir=$(dirname "$0")
exec "${dir}"/Pirni_ "$@"
