<?php declare(strict_types=1);

require __DIR__ . '/Int_.php';