XXX: compile with debugging