// load c program
pub const hello_elf = @embedFile("user_program");