Publicly export Comandante