PR: ports/149391, ports/150495, ports/150496 Submitted by: Timothy Beyer <beyert@cs.ucr.edu>, Kenji Rikitake <kenji.rikitake@acm.org>