# -*- sh -*- # See LICENSE file for copyright and license details. . tests/default-integers