input params, return values, and lines executed