Bit identifier of printf %b is octal integer, but not decimal. ULRI bit is 13-th bit (starting with 0) according to MIPS Architecture Volume III v.6. In this case the bit identifier (starts with 1) should be \16. Reviewed by: gonzo Approved by: adrian(mentor) Differential Revision: https://reviews.freebsd.org/D8516