Symbol: load_exec