4829 sema_init(3C) botches the arguments in an example