Use prex.h/postx.h

Change-Id: I055ae0426df86a1ea49385bc8c0b176cc4b9d940