foo :: () -> void {
  @putc('a');
};