--- opening "hang.ma" ---
--- scope checking ---
scope check error: f
/// Identifier F undefined