/* hand-crafted from code that does explicit register writes */