@require: stdja let x = 1 in x