// #failed: resolve
// #error: division by 0
a :: 10.0 / 0.0;