// Empty module for building the runtime library
%module runtime