$(< FILE)