module 0x8675309::M {
    fun specs_in_fun(_x: u64) {
        (spec {}: ())
    }
}