bounded5: slightly simpler square-function example