#! /bin/zsh

gnatmake add_reset.adb