// Workaround Scotch not including required headers
#include <stdio.h>
#include <stdint.h>

#include <scotch.h>