import trac-inf.lua