#include <math.h>
$input double x;

int main(void) {
  $assert(sqrt(x*x) == x); // should fail
}