#include <stdio.h>

#include "psi.h"

int main(void)
{
	printf("psi %s\n", psi_version());
	return 0;
}