#lang "diff"
y' = 1;