use --optimize -X flags
add an assertion