no tracing for test
simplify memcpy, warn instead of throw for task params (unsound if they get top)