A possibly-wrong implementation of OTT