[
 (builtintype) {
  void
 }
]