(module (memory 1 1) (table 1 funcref) (func (export "f") (param i64) (result i64) local.get 0 i64x2.splat i64x2.extract_lane 0))