use aiken/builtin

test trace_1() {
  builtin.trace("foo", True)
}