// @filename $(filename) as input file