Use breakpoint() instead of Brk() in checkStackAlignment().