# negative: user package/module must not spoof sealed std.
package app
module std.bad src/tests/modules_c/app/util.q
