drafting executable packet set

version 2: remebering action for approximation
does not require "no unknowns" assumption