[squirrelfish] Mystery of resolve_global bytecode instruction