Symbol: code_with_type