#pragma once

int __attribute__((section("static_tools"))) copy_kernel();