Symbol: if_nullinput