Upper bound for threepenny-gui