#!/bin/bash
exec $(dirname $0)/Repl