Symbol: encap_input