specifies how to derive the target program