edit
BeagleBone
#include <stdio.h> int main(void) { void* a = (char*)0x01; a = (void*)((char*)a + 0x0F); printf("%p\n", a); }