Minor changes
Can now mix C and Battlestar code in kernels!