/* sysdep: -hasinline */