Initial commit: IR headers and simple test case