Testing some Ada stuff