No boxing

An annotation to achieve this would be useful.