A prototype DBox API