with less naive log_allocated, annotate many more ops