add maybeThrow type sig
enable 'testing' from main