1<?php declare(strict_types=1);
2
3require __DIR__ . '/Int_.php';
4