primitive -> Aux2