#!/usr/bin/L1 --semantics=L1V.so
x^2_3 + 1