Symbol: load_32_n