softpoint_with_block() {
  { echo ""; } | ./softpoint.x leshouches
}