I think so, `defmacros` is a public API but we only tested it indirectly through `defrecordp` before.